Data types, abstract data types and their specification problem
نویسندگان
چکیده
منابع مشابه
Graphic Specification of Abstract Data Types
Formally specifying software requirements using algebraic specifications has all the advantages of formal specifications. This type of specifications is usually textual. Most modern specification languages have a graphical representation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present a survey on how abstract data types are represented gra...
متن کاملDistributed Abstract Data Types
Abstract. In this paper we introduce the concept of Distributed Abstract Data Type (DADT), a new programming model simplifying the development of distributed, context-aware applications. A DADT instance logically encapsulates a collection of ADT instances distributed throughout the system. DADT operations specify the semantics of access to this distributed state by using dedicated programming c...
متن کاملAbstract Constraint Data Types
Constraint Data Types José Luiz Fiadeiro and Fernando Orejas Dep. of Computer Science, Royal Holloway University of London, Egham TW20 0EX, UK [email protected] 2 Dep. de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, 08034 Barcelona, Spain [email protected] Abstract. Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e....
متن کاملAbstract Data Types without the Types
Data Types without the Types Philip Wadler (Edinburgh University, Scotland [email protected]) Dedicated to David Turner on the occasion of his 70’th birthday Abstract: The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1979
ISSN: 0304-3975
DOI: 10.1016/0304-3975(79)90059-8